//
// Created by reserve on 2020/7/16.
//
void delete_string(char str[], char ch) {
    int i, j;
    for (i = j = 0; str[i] != '\0'; i++) {
        if (str[i] != ch)
            str[j++] = str[i];
    }
    str[j] = '\0';
}
